Transfinite induction - PDFSEARCH.IO - Document Search Engine

Transfinite induction
Results: 15

#	Item
11	Set Theory for Computer Science Glynn Winskel [removed] c 2010 Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-10-21 11:47:42 Mathematical proof Mathematical induction Transfinite induction Set theory Ordinal number Well-founded relation Axiom of choice Function Zermelo–Fraenkel set theory Mathematics Mathematical logic Logic
12	Gra¸bczewski & Paulson Mechanizing Set Theory Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:46 Ordinal numbers Set theory Cardinal number Constructible universe Ordinal arithmetic Transfinite induction Mahlo cardinal Woodin cardinal Mathematical logic Large cardinals Mathematics
13	Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics (Draft for a talk at Types’2011, version of July 15, 2011, with minor updates September 28, 2011) Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-10-07 04:22:12 Set theory Constructible universe Function Well-founded relation Transfinite induction Ordinal arithmetic Continuous function Ε₀ Surreal number Mathematics Mathematical logic Ordinal numbers
14	PDF Document Add to Reading List Source URL: www.peter-dixon.staff.shef.ac.uk Language: English - Date: 2006-05-18 13:01:02 Set theory Constructible universe Ordinal arithmetic Transfinite induction Zermelo–Fraenkel set theory Cardinal number Function Peano axioms Symbol Mathematical logic Mathematics Ordinal numbers
15	PDF Document Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2005-09-25 15:04:44 Logic Constructible universe Bachmann–Howard ordinal Transfinite induction Large countable ordinal Ordinal arithmetic Ordinal notation Ordinal numbers Mathematical logic Mathematics

UPDATE